
void crash() __attribute__((noreturn));
